March 4, 2010 ISOMORPHISM TYPES OF BOOLEAN ALGEBRAS IN THE BACK-AND-FORTH HIERARCHY
نویسنده
چکیده
We investigate the back-and-forth types which isomorphism types. The main result is that the indecomposable isomorphism types which arise at the finite levels of the back-and-forth hierarchy are the same the finitary isomorphism types in Heindorff.
منابع مشابه
ON THE n-BACK-AND-FORTH TYPES OF BOOLEAN ALGEBRAS
The objective of this paper is to uncover the structure of the back-andforth equivalence classes at the finite levels for the class of Boolean algebras. As an application, we obtain bounds on the computational complexity of determining the back-and-forth equivalence classes of a Boolean algebra for finite levels. This result has implications for characterizing the relatively intrinsically Σn re...
متن کاملMarch 22, 2010 RELATIVE CATEGORICITY IN BOOLEAN ALGEBRAS
A computable Boolean algebra A is relatively arithmetically categorical if for any copy B of A there is a an isomorphism from A onto B which is arithmetically computable. We show that the Boolean algebras which are relatively arithmetically categorical are the finitary Boolean algebras introduced by Palyutin and Pierce. The key step along the way to this result is a classification of the relati...
متن کاملUsing boolean and fuzzy logic combined with analytic hierarchy process for hazardous waste landfill site selection: A case study from Hormozgan province, Iran
Hazardous wastes include numerous kinds of discarded chemicals and other wastes generated from industrial, commercial, and institutional activities. These types of waste present immediate or long-term risks to humans, animals, plants, or the environment and therefore require special handling for safe disposal. Landfills that can accept hazardous wastes are excavated or engineered sites where th...
متن کاملSemi-G-filters, Stonean filters, MTL-filters, divisible filters, BL-filters and regular filters in residuated lattices
At present, the filter theory of $BL$textit{-}algebras has been widelystudied, and some important results have been published (see for examplecite{4}, cite{5}, cite{xi}, cite{6}, cite{7}). In other works such ascite{BP}, cite{vii}, cite{xiii}, cite{xvi} a study of a filter theory inthe more general setting of residuated lattices is done, generalizing thatfor $BL$textit{-}algebras. Note that fil...
متن کاملLinear Maps Preserving Invertibility or Spectral Radius on Some $C^{*}$-algebras
Let $A$ be a unital $C^{*}$-algebra which has a faithful state. If $varphi:Arightarrow A$ is a unital linear map which is bijective and invertibility preserving or surjective and spectral radius preserving, then $varphi$ is a Jordan isomorphism. Also, we discuss other types of linear preserver maps on $A$.
متن کامل